gtk: Queue a resize after state changes
authorBenjamin Otte <otte@redhat.com>
Fri, 11 Mar 2011 18:42:26 +0000 (19:42 +0100)
committerBenjamin Otte <otte@redhat.com>
Fri, 11 Mar 2011 18:51:25 +0000 (19:51 +0100)
commit015f22777621008dac136940680dff4f250ca42b
tree12ea3b61648635c28b8f3f857f36a68a7d0c7441
parente72bdca1b85440a3b34a82f8d58f394769ff632f
gtk: Queue a resize after state changes

Lots of style properties - border-width in this case - can change the
size of widgets, so we need to queue a resize instead of just redrawing.
gtk/gtkwidget.c